101. Mathematical logic : an introduction to model theory
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
L54
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
102. Mathematical logic and model theory a brief introduction
پدیدآورنده : Prestel, A.)Alexander(,1491-,Alexander Prestel, Charles N. Delzell
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
103. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
104. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
105. Media theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ; Combinatorial group theory. ; Set theory. ; Modellen (theorie) ; gtt. ; Numerieke wiskunde. ; gtt. ; Systeemtheorie ; gtt. ;
![](/design/images/bookmore.png)
106. Media theory: interdisciplinary applied mathematics
پدیدآورنده : Eppstein, David
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Model theory,، Combinatorial group theory,، Set theory,، Modellen )theorie(,، Numerieke wiskunde,، Systeemtheorie
رده :
QA
9
.
7
.
M43
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
107. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
![](/design/images/bookmore.png)
108. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
109. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
110. Model-Based Reasoning in Science and Technology
پدیدآورنده : \ Lorenzo Magnani, Claudia Casadio Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,شناخت (فلسفه),a04,a04,Model-based reasoning.
رده :
E-Book
,
![](/design/images/bookmore.png)
111. Model categories
پدیدآورنده : Mark Hovey
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Model categories )Mathematics(,Homotopy theory,Complexes
رده :
QA
169
.
H68
1999
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
112. Model categories
پدیدآورنده : Hovey, Mark
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory,، Complexes
رده :
QA
169
.
H68
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
113. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip S. )Philip Steven(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
114. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip Steven
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
115. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ]and others[
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Model theory
![](/design/images/bookmore.png)
116. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... )et al.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M58
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
117. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... ]et al.[,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory
رده :
QA
.
M58
9
.
7
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
118. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M58
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
119. Model theory
پدیدآورنده : Chang, Chen Chung
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
C45
1977
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
120. #Model theory
پدیدآورنده : #Wilfrid Hodges
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Model theory
رده :
#
QA
،#.
H64
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)